Simon Peyton Jones talking about the future of programming languages